The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·20h·
Discuss: Substack
🔩Systems Programming
Flag this post
Where "Simulation" Came From
decomposition.al·2d·
Discuss: Hacker News
🔤Type Theory
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
A dream of AI DLC A peek into the future based on tools and tech that we have
magistr.me·9h·
Discuss: Hacker News
⚙️Proof Engineering
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
Automated Regulatory Compliance Risk Assessment via Multi-Modal Knowledge Graph Fusion & Explainable AI
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Flag this post
Dingo: A Meta-Language for Go
github.com·4h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·1d
⚡Proof Automation
Flag this post
Process Archetypes: The Roles in the Gnome Village
happihacking.com·2d
🐚Bash Monads
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Trying Out C++26 Executors
mropert.github.io·10h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
On Thread Synchronization : Part 1 - A deep dive into mutexes
sayujya-apte.github.io·19h·
Discuss: r/programming
⚡Cache Coherence
Flag this post
Minimizing Variable Scope in Go: New Blog Post and Static Analyzer Tool
blog.fillmore-labs.com·2d
🦀Rust Macros
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
An overview of memory management in Go (2021)
medium.com·12h·
Discuss: Hacker News
🧠Memory Allocators
Flag this post
Common Coding Mistakes at Every Level (And How to Fix Them)
dev.to·1d·
Discuss: DEV
📜Proof Carrying Code
Flag this post
The Rust Community Knew This Was Coming
lucisqr.substack.com·1d·
Discuss: Substack, r/cpp, r/programming
🦀Rust Borrowing
Flag this post
Railway Oriented Programming
fsharpforfunandprofit.com·3d·
Discuss: Hacker News
🧬Functional Programming
Flag this post
Do You Know Where Your Load-Bearing Code Is?
codemanship.wordpress.com·11h·
Discuss: Hacker News
📏Code Metrics
Flag this post